#include "./register.h"
#include "./libc/stdint.h"

DEFINE_SYS_READ(SPSR_EL1)

DEFINE_SYS_READ(DAIF)

void test(){
    // uint64_t spsr = 0;
    // uint64_t daif = sys_read_DAIF();

    // printk("spsr: %b\n", spsr);
    // printk("daif: %b\n", daif);

    // pl001_print_map();
}